Knihy od autora Ernst-Rüdiger Olderog

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   Werner Damm, Ernst-Rüdiger Olderog | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
2. 

   Provably Correct Systems

   Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 11-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2866 Kč

   Koupit
3. 

   Verification of Sequential and Concurrent Programs

   Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. de Boer | Springer London Ltd, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3313 Kč

   Koupit
4. 

   Provably Correct Systems

   Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-7 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2866 Kč

   Koupit
5. 

   Correct System Design

   Ernst-Rüdiger Olderog | Springer, Berlin, 1999

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
6. 

   Programmverifikation

   Krzysztof R. Apt, Ernst-Rüdiger Olderog | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Němčina

   Vazba: Pevná

   1234 Kč

   Koupit

Výběr z milionů titulů vám jen tak někdo nenabídne. Zjistěte více